p{-}disjoint($A$;$f$;$g$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$A$. $\neg$(($\uparrow$can{-}apply($f$;$x$)) \& ($\uparrow$can{-}apply($g$;$x$)))